/**
 * <copyright>
 * </copyright>
 *
 * $Id$
 */
package RootDesc;

import org.eclipse.emf.ecore.EObject;

/**
 * <!-- begin-user-doc -->
 * A representation of the model object '<em><b>Test Description</b></em>'.
 * <!-- end-user-doc -->
 *
 * <p>
 * The following features are supported:
 * <ul>
 *   <li>{@link RootDesc.TestDescription#getOperation <em>Operation</em>}</li>
 *   <li>{@link RootDesc.TestDescription#getStateCondition <em>State Condition</em>}</li>
 *   <li>{@link RootDesc.TestDescription#getGuardCondition <em>Guard Condition</em>}</li>
 *   <li>{@link RootDesc.TestDescription#getTargetCondition <em>Target Condition</em>}</li>
 * </ul>
 * </p>
 *
 * @see RootDesc.RootDescPackage#getTestDescription()
 * @model
 * @generated
 */
public interface TestDescription extends EObject {
  /**
   * Returns the value of the '<em><b>Operation</b></em>' reference.
   * <!-- begin-user-doc -->
   * <p>
   * If the meaning of the '<em>Operation</em>' reference isn't clear,
   * there really should be more of a description here...
   * </p>
   * <!-- end-user-doc -->
   * @return the value of the '<em>Operation</em>' reference.
   * @see #setOperation(MethodOperation)
   * @see RootDesc.RootDescPackage#getTestDescription_Operation()
   * @model
   * @generated
   */
  MethodOperation getOperation();

  /**
   * Sets the value of the '{@link RootDesc.TestDescription#getOperation <em>Operation</em>}' reference.
   * <!-- begin-user-doc -->
   * <!-- end-user-doc -->
   * @param value the new value of the '<em>Operation</em>' reference.
   * @see #getOperation()
   * @generated
   */
  void setOperation(MethodOperation value);

  /**
   * Returns the value of the '<em><b>State Condition</b></em>' attribute.
   * <!-- begin-user-doc -->
   * <p>
   * If the meaning of the '<em>State Condition</em>' attribute isn't clear,
   * there really should be more of a description here...
   * </p>
   * <!-- end-user-doc -->
   * @return the value of the '<em>State Condition</em>' attribute.
   * @see #setStateCondition(String)
   * @see RootDesc.RootDescPackage#getTestDescription_StateCondition()
   * @model dataType="org.eclipse.uml2.uml.String"
   * @generated
   */
  String getStateCondition();

  /**
   * Sets the value of the '{@link RootDesc.TestDescription#getStateCondition <em>State Condition</em>}' attribute.
   * <!-- begin-user-doc -->
   * <!-- end-user-doc -->
   * @param value the new value of the '<em>State Condition</em>' attribute.
   * @see #getStateCondition()
   * @generated
   */
  void setStateCondition(String value);

  /**
   * Returns the value of the '<em><b>Guard Condition</b></em>' attribute.
   * <!-- begin-user-doc -->
   * <p>
   * If the meaning of the '<em>Guard Condition</em>' attribute isn't clear,
   * there really should be more of a description here...
   * </p>
   * <!-- end-user-doc -->
   * @return the value of the '<em>Guard Condition</em>' attribute.
   * @see #setGuardCondition(String)
   * @see RootDesc.RootDescPackage#getTestDescription_GuardCondition()
   * @model dataType="org.eclipse.uml2.uml.String"
   * @generated
   */
  String getGuardCondition();

  /**
   * Sets the value of the '{@link RootDesc.TestDescription#getGuardCondition <em>Guard Condition</em>}' attribute.
   * <!-- begin-user-doc -->
   * <!-- end-user-doc -->
   * @param value the new value of the '<em>Guard Condition</em>' attribute.
   * @see #getGuardCondition()
   * @generated
   */
  void setGuardCondition(String value);

  /**
   * Returns the value of the '<em><b>Target Condition</b></em>' attribute.
   * <!-- begin-user-doc -->
   * <p>
   * If the meaning of the '<em>Target Condition</em>' attribute isn't clear,
   * there really should be more of a description here...
   * </p>
   * <!-- end-user-doc -->
   * @return the value of the '<em>Target Condition</em>' attribute.
   * @see #setTargetCondition(String)
   * @see RootDesc.RootDescPackage#getTestDescription_TargetCondition()
   * @model dataType="org.eclipse.uml2.uml.String"
   * @generated
   */
  String getTargetCondition();

  /**
   * Sets the value of the '{@link RootDesc.TestDescription#getTargetCondition <em>Target Condition</em>}' attribute.
   * <!-- begin-user-doc -->
   * <!-- end-user-doc -->
   * @param value the new value of the '<em>Target Condition</em>' attribute.
   * @see #getTargetCondition()
   * @generated
   */
  void setTargetCondition(String value);

} // TestDescription
